/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL_IDLE_H
#define KERNEL_IDLE_H

typedef void (* idle_handler_func_t) (void *data);


void __attribute__((noreturn)) idle(void);

void idle_register_idle_handler(idle_handler_func_t  handler,
                                void                *handler_data);

#endif /* KERNEL_IDLE_H */
